(define un
  (print (local-syntax one
		       (lambda (exp env)
			 (list (syntax-quote let)
			       (list (list (syntax-quote x) (syntax-quote 1)))
			       (syntax-quote x)))
		       (one))))

